Division of polynomials